Construction of 1-resilient Boolean functions with optimum algebraic immunity

In this paper, for an integer n≥10, two classes of n-variable Boolean functions with optimum algebraic immunity (AI) are constructed, and their nonlinearities are also determined. Based on non-degenerate linear transforms to the proposed functions, we can obtain 1-resilient n-variable Boolean functions with optimum AI and high nonlinearity if n?1 is never equal to any power of 2.     

带有异或运算安全协议的自动化检测

针对当前模型检测工具普遍不能检测带有异或运算安全协议的问题,提出了一个新的模型检测器SAT#.该模型检测器通过引入抽象异或项的概念及其运算规则,大大降低了攻击者生成的异或消息数量,解决了由于引入传统异或运算导致的状态空间爆炸问题.在此基础上,通过在SAT模型中增加基于抽象异或项的重写规则,扩展了攻击者的异或运算能力,实现了对带有异或运算安全协议的自动化检测.通过对BULL协议的检测,证明了抽象异或项的实用性,同时也证明了SAT#模型检测器的可靠性.     

Keccak算法非线性变换x的分析

x是keccak算法中唯一的非线性部件,本文研究了x变换的主要密码学性质,指出了x的非线性度为8,差分均匀度为8,代数次数为2,满足平衡性,可逆。计算出了x的逆变换的表达式,并分析了其密码学性质。基于x变换的设计思想,我们试图找到新的方法来构造分组密码中的S盒。     

Designing against a class of algebraic attacks on symmetric block ciphers

Recently, Courtois and Pieprzyk proposed a class of algebraic attacks on symmetric block ciphers that takes advantage of a previously-unexploited property of substitution boxes, or s-boxes, in the round function. This paper gives a brief overview of this ``overdefined system of equations' (OSE) attack and shows how the attack may be avoided through the use of round functions constructed according to the CAST design procedure. Such round functions contain a variety of protection mechanisms, including s-boxes of large dimension, a circular key-dependent rotation step, and combinations of operators from different algebraic groups.     

Fourier methods for quasi‐periodic oscillations

Quasi‐periodic oscillations and invariant tori play an important role in the study of forced or coupled oscillators. This paper presents two new numerical methods for the investigation of quasi‐periodic oscillations. Both algorithms can be regarded as generalizations of the averaging and the harmonic (spectral) balance methods. The algorithms are easy to implement and require only minimal a priori knowledge of the system. Most importantly, the methods do not depend on an a priori co‐ordinate transformation. The methods are applied to a number of illustrative examples from non‐linear electrical engineering and the results show that the methods are efficient and reliable. In addition, these examples show that the presented algorithms can also continue through regions of sub‐harmonic (phase‐locked) resonance even though they are designed only for the quasi‐periodic case. Copyright © 2006 John Wiley & Sons, Ltd.     

具有输入饱和的组合系统的分散控制

研究了一类具有饱和输入的组合系统的分散可镇定问题. 运用M-矩阵方法, 通过线性分散状态反馈得出具有饱和输入组合系统的可镇定的充分条件. 对于具有对称结构的组合系统, 给出了更为简单的镇定条件.     

一种有效的图象特征抽取和识别方法

本文提出了一种新的基于尺度变换的图象矩表示方法，并在此基础上利用ＳＶＤ算法抽取了一组有效的图象特征。     

翼身组合体的网格生成及EULER方程数值模拟

采用代数方法中的广义无限插值法生成翼身组合体三维Ｏ－Ｃ型贴体网格。该方法使用双边界法和引入了物面外法向导数以保证物面附近网格正交的处理方法，提高了代数方法生成翼身组合体网格的质量。并用中心格式有限体积法求解跨声速ＥＵＬＥＲ方程，以某翼身组合体模型为例，计算结果与实验符合良好。     

基于观测器的不确定动态时滞系统鲁棒镇定的Riccati方程方法

本文给出了一类不确定动态时滞系统基于观测器的鲁棒镇定方法，该类系统的状态、输人和输出矩阵均含有不确定性，且不确定性需满足给定的匹配条件，系统不仅有状态时滞，还有控制时滞，该方法通过求解两个代数Riccati方程实现，本文比较全面地解决了满足匹配条件的不确定动态时滞系统的鲁棒镇定问题．